Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
91	Efficient Querying and Maintenance of Network Provenance at Internet-Scale Wenchao Zhou∗ Micah Sherr∗ Tao Tao∗ Xiaozhou Li∗ Boon Thau Loo∗ ∗ University of Pennsylvania Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2010-03-16 23:50:19 Data management Distributed hash table File sharing Relational database Tuple Provenance Distributed computing Binary decision diagram Network topology Mathematics Distributed data storage Mathematical logic
92	LNCS[removed]BDD-Based Software Model Checking with <TEX>{CPAchecker}</TEX> Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05 Binary decision diagram Model checking Computing Applied mathematics Algorithm Abstraction And-inverter graph Rabbit Model Checker Diagrams Boolean algebra Mathematics
93	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
94	A Dynamic Firing Speculation to Speedup Distributed Symbolic State-Space Generation Ming-Ying Chung and Gianfranco Ciardo Department of Computer Science and Engineering University of California at Riverside Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:16 Edmund M. Clarke Init Distributed computing Mathematics Computing Computer science Diagrams Model checking Binary decision diagram
95	Saturation NOW Ming-Ying Chung and Gianfranco Ciardo Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:52 Algorithm Binary decision diagram Distributed computing Colorfulness Saturation ACT-R Applied mathematics Logic Model checking Mathematics Parallel computing
96	A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:47 Binary decision diagram Many-valued logic Mathematics Information science Diagrams Boolean algebra Model checking
97	On Analysis and Synthesis of (n,k)-Non-Linear Feedback Shift Registers Add to Reading List Source URL: cecs.uci.edu Language: English - Date: 2008-02-11 20:43:22 Model checking Grain Mathematics Numerical software Theoretical computer science Applied mathematics COMPASS/Sample Code GEC Binary decision diagram Boolean algebra Diagrams
98	Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains Rune Møller Jensen June 2003 CMU-CS[removed] Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2003-06-20 12:36:37 Diagrams Model checking Mathematical logic Algorithm Applied mathematics Mathematics Boolean algebra Binary decision diagram
99	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
100	SoftCOM[removed]8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:41:14 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram

UPDATE